Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.



© Taras Kalapunlicencja: Creative Commons

Zanieczyszczenie środowiska prowadzi do cukrzycy?

27 stycznia 2008, 17:52

Dwaj doktorzy z Cambridge, Oliver Jones i Julian Griffin, sygnalizują w najnowszym numerze The Lancet potrzebę gruntownego przebadania związku między trwałymi zanieczyszczeniami organicznymi (TZO) a insulinoopornością, która prowadzi do cukrzycy dorosłych.


Czaszka z cmentarza klasztornego w Exeter ilustruje możliwości długiego łuku angielskiego

7 maja 2020, 12:17

Średniowieczne strzały powodowały urazy podobne do współczesnych ran postrzałowych. Gdy naukowcy zbadali szczątki z cmentarza klasztoru dominikanów w Exeter, odkryli, że strzały z długiego łuku angielskiego mogły penetrować ludzką czaszkę, tworząc małe rany wlotowe i duże wylotowe.


Bakteriobójczy ejakulat pluskwy

31 sierpnia 2011, 08:35

Samce pluskwy domowej zabezpieczają swoje plemniki przed zakażeniami drogą płciową, wytwarzając bakteriobójczy płyn nasienny.


Nowa powłoka lepiej ochroni reaktory fuzyjne

15 grudnia 2023, 10:13

Na University of Wisconsin-Madison powstała nowa powłoka, która lepiej chroni ściany reaktora fuzyjnego. Może ona pozwolić na budowę bardziej wydajnych mniejszych reaktorów, które są łatwiejsze w naprawie i utrzymaniu. Potrzebujemy nowych technik produkcyjnych, które pozwolą nam w sposób ekonomiczny wytwarzać komponenty reaktorów fuzyjnych. Nasza technologia oznacza duży postęp w porównaniu z dotychczas stosowanymi rozwiązaniami, mówi Mykola Ialovega, główny autor badań.


Chcą zakazać kratomu

1 września 2016, 08:07

Amerykańska agencja antynarkotykowa DEA (Drug Enforcement Administration) ogłosiła, że ma zamiar czasowo zakazać rozpowszechniania związków chemicznych zawartych w kratomie. Kratom to popularny ziołowy suplement, który służy m.in. do zwalczania chronicznego bólu czy do terapii stresu pourazowego


Jubileusz 75-lecia Polskiej Akademii Nauk